Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
301	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
302	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-26 11:29:50 Semantics Boolean algebra Predicate logic Propositional calculus FO Predicate Quantification Interpretation Negation Logic Mathematical logic Mathematics
303	Summary of Successful ARC Future Fellowships Proposals for Funding to Commence in 2010 by State and Organisation New South Wales University of Technology, Sydney FT100100218 Dr Yuan Feng Approved Add to Reading List Source URL: arc.gov.au Language: English - Date: 2010-11-08 23:01:00 Zhu Feng WP Formal methods Predicate transformer semantics Program logic
304	SFEDL’04 Preliminary Version Semantics and Analysis of Instruction List Programs Ralf Huuck Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2004-02-19 22:18:10 Logic Metalogic Interpretation Structure Metaphilosophy Formal languages Model theory Mathematics
305	Faithfulness of the VLISP Operational Semantics William M. Farmer Joshua D. Guttman John D. Ramsdell Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Applied mathematics Denotational semantics Operational semantics Theoretical computer science Logic in computer science Programming language semantics
306	A Modal Representation of Strategic Reasoning Jan Broersen Rosja Mastop John-Jules Meyer Paolo Turrini Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2009-07-01 07:47:18 Mathematical logic Functions and mappings Interpretation Philosophy of language Philosophy of mind Semantics Function Uniform space Pareto efficiency Mathematics Logic Model theory
307	Preventing Arithmetic Overflows in Alloy Aleksandar Milicevica,∗, Daniel Jacksona a Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory, Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-07-07 17:53:08 Model theory Semantics Predicate logic Formal languages Metalogic First-order logic Alloy Analyzer Alloy Integer overflow Logic Mathematical logic Mathematics
308	Randomized Testing in PLT Redex Casey Klein Robert Bruce Findler University of Chicago Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:01 Logic in computer science Programming language semantics Predicate logic Reduction strategy Operational semantics Robert Bruce Findler Free variables and bound variables Eval Scheme Software engineering Computing Programming language theory
309	[44] M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, OctoberAppeared as technical report MMU-DOCM. Wooldridge and M Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:35:38 Kripke semantics Entailment Logic Philosophical logic Modal logic
310	Three-Valued Logics Notation: p, q, r atomic formulas; A, B, C arbitrary formulas Values = {T, F, N} Valuation = assignment of a value from Values to each atomic formula Can be extended to an assignment of values to each Add to Reading List Source URL: johnmacfarlane.net Language: English Propositional calculus Semantics Boolean algebra Logical connective Truth table Valuation If and only if Tautology Natural deduction Abstract algebra Logic Mathematics

UPDATE